Existence theorem of Vector Space